/**
 *	@file    ALL_EC_CAS.h
 *	@version 8e6f0e1 (HEAD -> master)
 *
 *	Summary.
 */
unsigned char ECCAS[] = {
48, 130, 2, 99, 48, 130, 2, 25, 160, 3, 2, 1, 2,
2, 2, 27, 88, 48, 10, 6, 8, 42, 134, 72, 206, 61,
4, 3, 2, 48, 129, 154, 49, 11, 48, 9, 6, 3, 85,
4, 6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85,
4, 8, 12, 2, 87, 65, 49, 16, 48, 14, 6, 3, 85,
4, 7, 12, 7, 83, 101, 97, 116, 116, 108, 101, 49, 35,
48, 33, 6, 3, 85, 4, 10, 12, 26, 73, 110, 115, 105,
100, 101, 32, 83, 101, 99, 117, 114, 101, 32, 67, 111, 114,
112, 111, 114, 97, 116, 105, 111, 110, 46, 49, 13, 48, 11,
6, 3, 85, 4, 11, 12, 4, 84, 101, 115, 116, 49, 56,
48, 54, 6, 3, 85, 4, 3, 12, 47, 77, 97, 116, 114,
105, 120, 83, 83, 76, 32, 83, 97, 109, 112, 108, 101, 32,
67, 65, 32, 40, 69, 108, 108, 105, 112, 116, 105, 99, 32,
99, 117, 114, 118, 101, 32, 112, 114, 105, 109, 101, 49, 57,
50, 118, 49, 41, 48, 30, 23, 13, 49, 52, 48, 51, 49,
51, 50, 51, 49, 56, 50, 53, 90, 23, 13, 49, 55, 48,
51, 49, 50, 50, 51, 49, 56, 50, 53, 90, 48, 129, 154,
49, 11, 48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83,
49, 11, 48, 9, 6, 3, 85, 4, 8, 12, 2, 87, 65,
49, 16, 48, 14, 6, 3, 85, 4, 7, 12, 7, 83, 101,
97, 116, 116, 108, 101, 49, 35, 48, 33, 6, 3, 85, 4,
10, 12, 26, 73, 110, 115, 105, 100, 101, 32, 83, 101, 99,
117, 114, 101, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105,
111, 110, 46, 49, 13, 48, 11, 6, 3, 85, 4, 11, 12,
4, 84, 101, 115, 116, 49, 56, 48, 54, 6, 3, 85, 4,
3, 12, 47, 77, 97, 116, 114, 105, 120, 83, 83, 76, 32,
83, 97, 109, 112, 108, 101, 32, 67, 65, 32, 40, 69, 108,
108, 105, 112, 116, 105, 99, 32, 99, 117, 114, 118, 101, 32,
112, 114, 105, 109, 101, 49, 57, 50, 118, 49, 41, 48, 73,
48, 19, 6, 7, 42, 134, 72, 206, 61, 2, 1, 6, 8,
42, 134, 72, 206, 61, 3, 1, 1, 3, 50, 0, 4, 89,
238, 161, 93, 187, 158, 50, 130, 124, 152, 90, 184, 112, 99,
7, 175, 242, 13, 179, 21, 39, 140, 1, 118, 65, 182, 106,
154, 161, 69, 136, 35, 251, 11, 230, 61, 128, 214, 10, 204,
251, 0, 87, 238, 24, 147, 100, 224, 163, 93, 48, 91, 48,
11, 6, 3, 85, 29, 15, 4, 4, 3, 2, 2, 4, 48,
29, 6, 3, 85, 29, 14, 4, 22, 4, 20, 147, 63, 179,
90, 56, 85, 221, 180, 214, 110, 132, 204, 102, 206, 140, 38,
91, 28, 23, 32, 48, 31, 6, 3, 85, 29, 35, 4, 24,
48, 22, 128, 20, 147, 63, 179, 90, 56, 85, 221, 180, 214,
110, 132, 204, 102, 206, 140, 38, 91, 28, 23, 32, 48, 12,
6, 3, 85, 29, 19, 4, 5, 48, 3, 1, 1, 255, 48,
10, 6, 8, 42, 134, 72, 206, 61, 4, 3, 2, 3, 56,
0, 48, 53, 2, 25, 0, 236, 147, 226, 123, 177, 108, 244,
138, 40, 188, 46, 217, 183, 64, 111, 103, 228, 53, 209, 162,
153, 204, 1, 241, 2, 24, 113, 66, 191, 252, 72, 191, 162,
239, 217, 191, 233, 227, 165, 46, 71, 62, 19, 253, 197, 225,
197, 9, 7, 114,
48, 130, 2, 108, 48, 130, 2, 26, 160, 3, 2, 1, 2,
2, 2, 31, 64, 48, 10, 6, 8, 42, 134, 72, 206, 61,
4, 3, 2, 48, 129, 152, 49, 11, 48, 9, 6, 3, 85,
4, 6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85,
4, 8, 12, 2, 87, 65, 49, 16, 48, 14, 6, 3, 85,
4, 7, 12, 7, 83, 101, 97, 116, 116, 108, 101, 49, 34,
48, 32, 6, 3, 85, 4, 10, 12, 25, 73, 110, 115, 105,
100, 101, 32, 83, 101, 99, 117, 114, 101, 32, 67, 111, 114,
112, 111, 114, 97, 116, 105, 111, 110, 49, 13, 48, 11, 6,
3, 85, 4, 11, 12, 4, 84, 101, 115, 116, 49, 55, 48,
53, 6, 3, 85, 4, 3, 12, 46, 77, 97, 116, 114, 105,
120, 83, 83, 76, 32, 83, 97, 109, 112, 108, 101, 32, 67,
65, 32, 40, 69, 108, 108, 105, 112, 116, 105, 99, 32, 99,
117, 114, 118, 101, 32, 115, 101, 99, 112, 50, 50, 52, 114,
49, 41, 48, 30, 23, 13, 49, 52, 48, 51, 49, 51, 50,
51, 50, 48, 52, 48, 90, 23, 13, 49, 55, 48, 51, 49,
50, 50, 51, 50, 48, 52, 48, 90, 48, 129, 152, 49, 11,
48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83, 49, 11,
48, 9, 6, 3, 85, 4, 8, 12, 2, 87, 65, 49, 16,
48, 14, 6, 3, 85, 4, 7, 12, 7, 83, 101, 97, 116,
116, 108, 101, 49, 34, 48, 32, 6, 3, 85, 4, 10, 12,
25, 73, 110, 115, 105, 100, 101, 32, 83, 101, 99, 117, 114,
101, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105, 111, 110,
49, 13, 48, 11, 6, 3, 85, 4, 11, 12, 4, 84, 101,
115, 116, 49, 55, 48, 53, 6, 3, 85, 4, 3, 12, 46,
77, 97, 116, 114, 105, 120, 83, 83, 76, 32, 83, 97, 109,
112, 108, 101, 32, 67, 65, 32, 40, 69, 108, 108, 105, 112,
116, 105, 99, 32, 99, 117, 114, 118, 101, 32, 115, 101, 99,
112, 50, 50, 52, 114, 49, 41, 48, 78, 48, 16, 6, 7,
42, 134, 72, 206, 61, 2, 1, 6, 5, 43, 129, 4, 0,
33, 3, 58, 0, 4, 253, 11, 179, 117, 37, 53, 94, 117,
163, 131, 139, 81, 126, 255, 184, 30, 42, 140, 91, 142, 206,
215, 225, 195, 154, 80, 37, 141, 202, 12, 43, 159, 250, 62,
83, 172, 49, 82, 127, 103, 166, 146, 166, 163, 219, 168, 148,
75, 34, 51, 29, 95, 95, 207, 72, 33, 163, 93, 48, 91,
48, 11, 6, 3, 85, 29, 15, 4, 4, 3, 2, 2, 4,
48, 29, 6, 3, 85, 29, 14, 4, 22, 4, 20, 193, 47,
173, 196, 213, 1, 248, 145, 226, 207, 193, 190, 230, 11, 34,
231, 45, 59, 91, 216, 48, 31, 6, 3, 85, 29, 35, 4,
24, 48, 22, 128, 20, 193, 47, 173, 196, 213, 1, 248, 145,
226, 207, 193, 190, 230, 11, 34, 231, 45, 59, 91, 216, 48,
12, 6, 3, 85, 29, 19, 4, 5, 48, 3, 1, 1, 255,
48, 10, 6, 8, 42, 134, 72, 206, 61, 4, 3, 2, 3,
64, 0, 48, 61, 2, 29, 0, 254, 28, 86, 179, 163, 185,
213, 184, 114, 156, 34, 214, 128, 151, 95, 135, 2, 34, 23,
26, 242, 68, 249, 182, 235, 23, 66, 51, 2, 28, 68, 167,
67, 59, 125, 195, 71, 21, 162, 1, 113, 91, 111, 240, 54,
165, 155, 219, 11, 224, 19, 150, 71, 6, 47, 79, 251, 73,
48, 130, 2, 128, 48, 130, 2, 38, 160, 3, 2, 1, 2,
2, 1, 1, 48, 10, 6, 8, 42, 134, 72, 206, 61, 4,
3, 2, 48, 129, 153, 49, 11, 48, 9, 6, 3, 85, 4,
6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85, 4,
8, 12, 2, 87, 65, 49, 16, 48, 14, 6, 3, 85, 4,
7, 12, 7, 83, 101, 97, 116, 116, 108, 101, 49, 34, 48,
32, 6, 3, 85, 4, 10, 12, 25, 73, 110, 115, 105, 100,
101, 32, 83, 101, 99, 117, 114, 101, 32, 67, 111, 114, 112,
111, 114, 97, 116, 105, 111, 110, 49, 13, 48, 11, 6, 3,
85, 4, 11, 12, 4, 84, 101, 115, 116, 49, 56, 48, 54,
6, 3, 85, 4, 3, 12, 47, 77, 97, 116, 114, 105, 120,
83, 83, 76, 32, 83, 97, 109, 112, 108, 101, 32, 67, 65,
32, 40, 69, 108, 108, 105, 112, 116, 105, 99, 32, 99, 117,
114, 118, 101, 32, 112, 114, 105, 109, 101, 50, 53, 54, 118,
49, 41, 48, 30, 23, 13, 49, 52, 48, 51, 49, 51, 50,
51, 50, 49, 50, 51, 90, 23, 13, 49, 55, 48, 51, 49,
50, 50, 51, 50, 49, 50, 51, 90, 48, 129, 153, 49, 11,
48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83, 49, 11,
48, 9, 6, 3, 85, 4, 8, 12, 2, 87, 65, 49, 16,
48, 14, 6, 3, 85, 4, 7, 12, 7, 83, 101, 97, 116,
116, 108, 101, 49, 34, 48, 32, 6, 3, 85, 4, 10, 12,
25, 73, 110, 115, 105, 100, 101, 32, 83, 101, 99, 117, 114,
101, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105, 111, 110,
49, 13, 48, 11, 6, 3, 85, 4, 11, 12, 4, 84, 101,
115, 116, 49, 56, 48, 54, 6, 3, 85, 4, 3, 12, 47,
77, 97, 116, 114, 105, 120, 83, 83, 76, 32, 83, 97, 109,
112, 108, 101, 32, 67, 65, 32, 40, 69, 108, 108, 105, 112,
116, 105, 99, 32, 99, 117, 114, 118, 101, 32, 112, 114, 105,
109, 101, 50, 53, 54, 118, 49, 41, 48, 89, 48, 19, 6,
7, 42, 134, 72, 206, 61, 2, 1, 6, 8, 42, 134, 72,
206, 61, 3, 1, 7, 3, 66, 0, 4, 211, 90, 222, 86,
20, 8, 226, 69, 209, 11, 169, 119, 138, 112, 95, 135, 140,
180, 91, 47, 205, 105, 124, 5, 97, 127, 233, 227, 102, 191,
128, 63, 148, 136, 25, 170, 138, 255, 180, 40, 246, 14, 187,
20, 122, 57, 101, 75, 43, 125, 82, 68, 156, 92, 91, 9,
105, 152, 22, 49, 146, 218, 204, 88, 163, 93, 48, 91, 48,
11, 6, 3, 85, 29, 15, 4, 4, 3, 2, 2, 4, 48,
29, 6, 3, 85, 29, 14, 4, 22, 4, 20, 105, 14, 250,
71, 62, 109, 64, 249, 41, 127, 247, 111, 102, 134, 184, 122,
52, 187, 37, 235, 48, 31, 6, 3, 85, 29, 35, 4, 24,
48, 22, 128, 20, 105, 14, 250, 71, 62, 109, 64, 249, 41,
127, 247, 111, 102, 134, 184, 122, 52, 187, 37, 235, 48, 12,
6, 3, 85, 29, 19, 4, 5, 48, 3, 1, 1, 255, 48,
10, 6, 8, 42, 134, 72, 206, 61, 4, 3, 2, 3, 72,
0, 48, 69, 2, 32, 66, 105, 191, 65, 98, 201, 166, 81,
178, 14, 217, 57, 12, 12, 85, 76, 195, 98, 23, 170, 233,
243, 139, 186, 12, 249, 227, 9, 178, 157, 234, 216, 2, 33,
0, 130, 3, 33, 253, 126, 188, 68, 183, 9, 138, 37, 206,
90, 102, 142, 121, 114, 90, 180, 16, 181, 22, 206, 103, 2,
143, 145, 94, 28, 93, 239, 163,
48, 130, 2, 188, 48, 130, 2, 66, 160, 3, 2, 1, 2,
2, 2, 35, 40, 48, 10, 6, 8, 42, 134, 72, 206, 61,
4, 3, 3, 48, 129, 152, 49, 11, 48, 9, 6, 3, 85,
4, 6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85,
4, 8, 12, 2, 87, 65, 49, 16, 48, 14, 6, 3, 85,
4, 7, 12, 7, 83, 101, 97, 116, 116, 108, 101, 49, 34,
48, 32, 6, 3, 85, 4, 10, 12, 25, 73, 110, 115, 105,
100, 101, 32, 83, 101, 99, 117, 114, 101, 32, 67, 111, 114,
112, 111, 114, 97, 116, 105, 111, 110, 49, 13, 48, 11, 6,
3, 85, 4, 11, 12, 4, 84, 101, 115, 116, 49, 55, 48,
53, 6, 3, 85, 4, 3, 12, 46, 77, 97, 116, 114, 105,
120, 83, 83, 76, 32, 83, 97, 109, 112, 108, 101, 32, 67,
65, 32, 40, 69, 108, 108, 105, 112, 116, 105, 99, 32, 99,
117, 114, 118, 101, 32, 115, 101, 99, 112, 51, 56, 52, 114,
49, 41, 48, 30, 23, 13, 49, 52, 48, 51, 49, 51, 50,
51, 50, 49, 50, 55, 90, 23, 13, 49, 55, 48, 51, 49,
50, 50, 51, 50, 49, 50, 55, 90, 48, 129, 152, 49, 11,
48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83, 49, 11,
48, 9, 6, 3, 85, 4, 8, 12, 2, 87, 65, 49, 16,
48, 14, 6, 3, 85, 4, 7, 12, 7, 83, 101, 97, 116,
116, 108, 101, 49, 34, 48, 32, 6, 3, 85, 4, 10, 12,
25, 73, 110, 115, 105, 100, 101, 32, 83, 101, 99, 117, 114,
101, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105, 111, 110,
49, 13, 48, 11, 6, 3, 85, 4, 11, 12, 4, 84, 101,
115, 116, 49, 55, 48, 53, 6, 3, 85, 4, 3, 12, 46,
77, 97, 116, 114, 105, 120, 83, 83, 76, 32, 83, 97, 109,
112, 108, 101, 32, 67, 65, 32, 40, 69, 108, 108, 105, 112,
116, 105, 99, 32, 99, 117, 114, 118, 101, 32, 115, 101, 99,
112, 51, 56, 52, 114, 49, 41, 48, 118, 48, 16, 6, 7,
42, 134, 72, 206, 61, 2, 1, 6, 5, 43, 129, 4, 0,
34, 3, 98, 0, 4, 158, 4, 52, 153, 239, 138, 37, 29,
132, 242, 242, 64, 196, 213, 209, 83, 125, 84, 236, 32, 54,
223, 26, 226, 228, 112, 248, 211, 57, 160, 57, 24, 61, 177,
250, 45, 236, 162, 193, 70, 223, 109, 148, 143, 222, 220, 210,
61, 25, 47, 22, 236, 82, 88, 58, 128, 193, 195, 191, 133,
39, 22, 66, 7, 224, 2, 241, 215, 149, 201, 16, 236, 176,
160, 152, 138, 66, 181, 81, 232, 33, 251, 41, 175, 249, 69,
168, 178, 118, 16, 70, 239, 228, 236, 223, 193, 163, 93, 48,
91, 48, 11, 6, 3, 85, 29, 15, 4, 4, 3, 2, 2,
4, 48, 29, 6, 3, 85, 29, 14, 4, 22, 4, 20, 68,
237, 252, 139, 23, 66, 110, 97, 246, 53, 147, 61, 63, 129,
151, 111, 103, 104, 90, 27, 48, 31, 6, 3, 85, 29, 35,
4, 24, 48, 22, 128, 20, 68, 237, 252, 139, 23, 66, 110,
97, 246, 53, 147, 61, 63, 129, 151, 111, 103, 104, 90, 27,
48, 12, 6, 3, 85, 29, 19, 4, 5, 48, 3, 1, 1,
255, 48, 10, 6, 8, 42, 134, 72, 206, 61, 4, 3, 3,
3, 104, 0, 48, 101, 2, 49, 0, 212, 100, 174, 28, 219,
20, 248, 145, 200, 23, 212, 239, 208, 139, 54, 110, 246, 71,
101, 229, 182, 232, 237, 228, 181, 109, 68, 184, 112, 96, 161,
187, 187, 104, 25, 41, 130, 164, 250, 213, 231, 159, 15, 180,
249, 164, 219, 149, 2, 48, 62, 182, 48, 6, 109, 173, 240,
37, 8, 182, 48, 250, 206, 132, 51, 43, 214, 194, 174, 108,
133, 204, 66, 204, 2, 25, 12, 24, 123, 85, 123, 23, 60,
231, 206, 20, 79, 116, 128, 41, 205, 152, 135, 77, 70, 88,
164, 222,
48, 130, 3, 6, 48, 130, 2, 104, 160, 3, 2, 1, 2,
2, 2, 35, 240, 48, 10, 6, 8, 42, 134, 72, 206, 61,
4, 3, 3, 48, 129, 152, 49, 11, 48, 9, 6, 3, 85,
4, 6, 19, 2, 85, 83, 49, 11, 48, 9, 6, 3, 85,
4, 8, 12, 2, 87, 65, 49, 16, 48, 14, 6, 3, 85,
4, 7, 12, 7, 83, 101, 97, 116, 116, 108, 101, 49, 34,
48, 32, 6, 3, 85, 4, 10, 12, 25, 73, 110, 115, 105,
100, 101, 32, 83, 101, 99, 117, 114, 101, 32, 67, 111, 114,
112, 111, 114, 97, 116, 105, 111, 110, 49, 13, 48, 11, 6,
3, 85, 4, 11, 12, 4, 84, 101, 115, 116, 49, 55, 48,
53, 6, 3, 85, 4, 3, 12, 46, 77, 97, 116, 114, 105,
120, 83, 83, 76, 32, 83, 97, 109, 112, 108, 101, 32, 67,
65, 32, 40, 69, 108, 108, 105, 112, 116, 105, 99, 32, 99,
117, 114, 118, 101, 32, 115, 101, 99, 112, 53, 50, 49, 114,
49, 41, 48, 30, 23, 13, 49, 52, 48, 51, 49, 51, 50,
51, 50, 49, 51, 49, 90, 23, 13, 49, 55, 48, 51, 49,
50, 50, 51, 50, 49, 51, 49, 90, 48, 129, 152, 49, 11,
48, 9, 6, 3, 85, 4, 6, 19, 2, 85, 83, 49, 11,
48, 9, 6, 3, 85, 4, 8, 12, 2, 87, 65, 49, 16,
48, 14, 6, 3, 85, 4, 7, 12, 7, 83, 101, 97, 116,
116, 108, 101, 49, 34, 48, 32, 6, 3, 85, 4, 10, 12,
25, 73, 110, 115, 105, 100, 101, 32, 83, 101, 99, 117, 114,
101, 32, 67, 111, 114, 112, 111, 114, 97, 116, 105, 111, 110,
49, 13, 48, 11, 6, 3, 85, 4, 11, 12, 4, 84, 101,
115, 116, 49, 55, 48, 53, 6, 3, 85, 4, 3, 12, 46,
77, 97, 116, 114, 105, 120, 83, 83, 76, 32, 83, 97, 109,
112, 108, 101, 32, 67, 65, 32, 40, 69, 108, 108, 105, 112,
116, 105, 99, 32, 99, 117, 114, 118, 101, 32, 115, 101, 99,
112, 53, 50, 49, 114, 49, 41, 48, 129, 155, 48, 16, 6,
7, 42, 134, 72, 206, 61, 2, 1, 6, 5, 43, 129, 4,
0, 35, 3, 129, 134, 0, 4, 1, 43, 67, 216, 141, 159,
213, 47, 157, 85, 11, 254, 114, 11, 50, 215, 142, 66, 196,
2, 151, 179, 205, 119, 21, 161, 234, 246, 100, 53, 114, 114,
103, 179, 95, 119, 38, 109, 111, 119, 43, 75, 161, 154, 219,
140, 118, 196, 220, 157, 96, 45, 59, 94, 7, 241, 165, 117,
17, 34, 122, 245, 239, 153, 119, 68, 0, 196, 45, 167, 19,
192, 199, 139, 213, 150, 146, 109, 174, 132, 149, 37, 31, 176,
104, 123, 137, 117, 191, 70, 182, 158, 162, 172, 112, 246, 236,
23, 110, 152, 46, 11, 172, 19, 120, 95, 84, 140, 0, 189,
58, 140, 92, 215, 164, 134, 181, 156, 4, 103, 117, 224, 220,
77, 138, 66, 70, 236, 228, 93, 241, 170, 163, 93, 48, 91,
48, 11, 6, 3, 85, 29, 15, 4, 4, 3, 2, 2, 4,
48, 29, 6, 3, 85, 29, 14, 4, 22, 4, 20, 25, 176,
190, 164, 157, 139, 60, 68, 229, 134, 181, 23, 161, 214, 13,
186, 66, 29, 184, 169, 48, 31, 6, 3, 85, 29, 35, 4,
24, 48, 22, 128, 20, 25, 176, 190, 164, 157, 139, 60, 68,
229, 134, 181, 23, 161, 214, 13, 186, 66, 29, 184, 169, 48,
12, 6, 3, 85, 29, 19, 4, 5, 48, 3, 1, 1, 255,
48, 10, 6, 8, 42, 134, 72, 206, 61, 4, 3, 3, 3,
129, 139, 0, 48, 129, 135, 2, 66, 1, 55, 152, 104, 160,
107, 179, 146, 211, 203, 107, 80, 174, 121, 193, 135, 67, 0,
237, 43, 51, 12, 110, 28, 237, 184, 137, 234, 57, 3, 79,
160, 128, 133, 113, 11, 40, 170, 80, 18, 193, 249, 150, 245,
58, 144, 158, 196, 76, 122, 100, 71, 232, 30, 158, 159, 228,
162, 19, 77, 68, 19, 58, 114, 247, 164, 2, 65, 51, 136,
239, 106, 211, 81, 35, 208, 100, 65, 42, 222, 117, 218, 70,
181, 172, 157, 112, 110, 108, 233, 81, 98, 102, 181, 135, 125,
49, 172, 167, 169, 17, 241, 23, 159, 193, 133, 59, 166, 134,
101, 233, 144, 214, 107, 60, 168, 158, 144, 67, 46, 56, 139,
69, 50, 176, 91, 205, 104, 119, 15, 195, 55, 126};
